-
1 импликативная нормальная форма
формореал, реал для форм — forme rack
Русско-английский большой базовый словарь > импликативная нормальная форма
-
2 импликативная нормальная форма
Logics: implicative normal formУниверсальный русско-английский словарь > импликативная нормальная форма
-
3 импликативная нормальная форма
Русско-английский словарь по вычислительной технике и программированию > импликативная нормальная форма
См. также в других словарях:
ИМПЛИКАТИВНАЯ НОРМАЛЬНАЯ ФОРМА — пропозициональная форма вида где все С i, i=1, . . . , п, имеют вид каждое С ij, i=1, . . ., п; j=1, . . ., т i, есть либо переменная, либо отрицание переменной, и есть логич. символ, обозначающий ложь. Для всякой пропозициональной формулы Аможно … Математическая энциклопедия
ЛОГИКА ВЫСКАЗЫВАНИЙ — раздел логики, в котором изучаются истинностные взаимосвязи между высказываниями. В рамках данного раздела высказывания (пропозиции, предложения) рассматриваются только с т.зр. их истинности или ложности, безотносительно к их внутренней субъектно … Философская энциклопедия